\frame[containsverbatim]
{
  \frametitle{LockCountDataflow (continued)}
By convention, each DataflowAnalysis subclass has a corresponding
Dataflow subclass.
{\scriptsize
\begin{verbatim}
public class LockCountDataflow extends Dataflow<LockCount, LockCountAnalysis> {
  public LockCountDataflow(CFG cfg, LockCountAnalysis analysis) {
      super(cfg, analysis);
    }
}
\end{verbatim}
}
LockCountDataflow will serve as the analysis object storing the
results of performing LockCountAnalysis on a method.
}
